A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC

Abstract We present a natural standard translation of inquisitive modal logic $\mathrm{InqML}$ into first-order over the two-sorted relational representations intended models, which captures built-in higher-order features . This is based on graded notion flatness that ties inherent second-order, team-semantic information states to subsets or tuples bounded size. A pseudo-models, relaxes non-elementary constraints gives rise an elementary, purely model-theoretic proof compactness property for Moreover, we prove Hennessy-Milner theorem , crucially uses $\omega $ -saturated pseudo-models and new translation. As corollaries also obtain van Benthem style characterisation theorems.